package tr.edu.ege.kipler.satisfiability.blocking;

import tr.edu.ege.kipler.satisfiability.container.ABox;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface BlockingStrategy {

	public boolean isIndirectlyBlocked(ABox abox, String indvName);

	public boolean isBlocked(ABox abox, String indvName);
}
